Eulerian path
Handshaking lemma, proven by Euler in his original paper, showing that any undirected connected graph has an even number of odd-degree vertices Route inspection problem, search for the shortest path that visits all edges, possibly repeating edges if an Eulerian path does not exist. Veblen's theorem, which states that graphs with even vertex degree can be partitioned into edge-disjoint cycles regardless of their connectivity